A Mathematica Notebook for Computing the Homology of Iterated Products of Groups
نویسندگان
چکیده
Let G be a group which admits the structure of an iterated product of central extensions and semidirect products of abelian groups Gi (both finite and infinite). We describe a Mathematica 4.0 notebook for computing the homology of G, in terms of some homological models for the factor groups Gi and the products involved. Computational results provided by our program have allowed the simplification of some of the formulae involved in the calculation of Hn(G). Consequently the efficiency of the method has been improved as well. We include some executions and examples.
منابع مشابه
(Co)homology of iterated semidirect products of finitely generated abelian groups
Let G be a group which admits the structure of an iterated semidirect product of finitely generated abelian groups. We provide a method for constructing a free resolution : X → ZZ of the integers over the group ring of G. The heart of this method consists of calculating an explicit contraction from the reduced bar construction of the group ring of G, B(ZZ[G]), to the reduced complex of X. Such ...
متن کاملHomology of Iterated Semidirect Products of Free Groups
Let G be a group which admits the structure of an iterated semidirect product of finitely generated free groups. We construct a finite, free resolution of the integers over the group ring of G. This resolution is used to define representations of groups which act compatibly on G, generalizing classical constructions of Magnus, Burau, and Gassner. Our construction also yields algorithms for comp...
متن کاملCOMPUTING THE PRODUCTS OF CONJUGACY CLASSES FOR SPECIFIC FINITE GROUPS
Suppose $G$ is a finite group, $A$ and $B$ are conjugacy classes of $G$ and $eta(AB)$ denotes the number of conjugacy classes contained in $AB$. The set of all $eta(AB)$ such that $A, B$ run over conjugacy classes of $G$ is denoted by $eta(G)$.The aim of this paper is to compute $eta(G)$, $G in { D_{2n}, T_{4n}, U_{6n}, V_{8n}, SD_{8n}}$ or $G$ is a decomposable group of order $2pq$, a group of...
متن کاملGeneralized Local Homology Modules of Complexes
The theory of local homology modules was initiated by Matlis in 1974. It is a dual version of the theory of local cohomology modules. Mohammadi and Divaani-Aazar (2012) studied the connection between local homology and Gorenstein flat modules by using Gorenstein flat resolutions. In this paper, we introduce generalized local homology modules for complexes and we give several ways for computing ...
متن کاملMathematica: A System of Computer Programs
Mathematica is a powerful application package for doing mathematics and is used almost in all branches of science. It has widespread applications ranging from quantum computation, statistical analysis, number theory, zoology, astronomy, and many more. Mathematica gives a rich set of programming extensions to its end-user language, and it permits us to write programs in procedural, functional, o...
متن کامل